Type\{i\} \textbf{is Primitive}